\functions {
int x1;
int x2;
int x3;
int x4;
int x5;
int x6;
}
\problem {
\part[left]((((x2) >= ((x1*1003))) | ((x2) >= ((x1*1230)))) & (((x3) >= ((x2*1999))) | ((x3) >= ((x2*1310)))) & (((x4) >= ((x3*8000))) | ((x4) >= ((x3*4000)))))
 & 
\part[right]((((x5) <= ((x4*((0) - (8000))))) | ((x5) <= ((x4*((0) - (4000)))))) & (((x6) >= ((x5*((0) - (2))))) | ((x6) >= ((x5*((0) - (3)))))) & ((x6) < (0)) & (((x1) >= (1002)) | ((x1) >= (1000))))
 -> false
}
\interpolant{left; right}
